void init_timers();